proof of divisibility rule for 8